IMPLEMENTATION MODULE def31dg; (*  31-Jul-90. (c) KRONOS *)
END def31dg.
